21 ideas
9766 | Study vagueness first by its logic, then by its truth-conditions, and then its metaphysics [Fine,K] |
21901 | 'Difference' refers to that which eludes capture [Deleuze, by May] |
9775 | Excluded Middle, and classical logic, may fail for vague predicates [Fine,K] |
9771 | Logic holding between indefinite sentences is the core of all language [Fine,K] |
13949 | All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers [Cartwright,R on Peano] |
18113 | PA concerns any entities which satisfy the axioms [Peano, by Bostock] |
17634 | Peano axioms not only support arithmetic, but are also fairly obvious [Peano, by Russell] |
15653 | We can add Reflexion Principles to Peano Arithmetic, which assert its consistency or soundness [Halbach on Peano] |
17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
21908 | Ontology can be continual creation, not to know being, but to probe the unknowable [Deleuze] |
21902 | 'Being' is univocal, but its subject matter is actually 'difference' [Deleuze] |
21903 | Ontology does not tell what there is; it is just a strange adventure [Deleuze, by May] |
21904 | Being is a problem to be engaged, not solved, and needs a new mode of thinking [Deleuze, by May] |
9768 | Vagueness is semantic, a deficiency of meaning [Fine,K] |
9776 | A thing might be vaguely vague, giving us higher-order vagueness [Fine,K] |
9767 | A vague sentence is only true for all ways of making it completely precise [Fine,K] |
9770 | Logical connectives cease to be truth-functional if vagueness is treated with three values [Fine,K] |
9772 | Meaning is both actual (determining instances) and potential (possibility of greater precision) [Fine,K] |
9773 | With the super-truth approach, the classical connectives continue to work [Fine,K] |
9774 | Borderline cases must be under our control, as capable of greater precision [Fine,K] |
9769 | Vagueness can be in predicates, names or quantifiers [Fine,K] |